#include<stdio.h>
void main() {
    int k=1;
    for(;;){
    	printf("k=%d\n",k);
    	k++;
	}
}
